A Theory of Complex Actions for Enterprise

Introduction Enterprise modelling is an essential component in deen-ing an enterprise, such as a manufacturing facility, an end-item distribution company, a nancial institution, or a university department. The goal of our enterprise modelling research is to create generic representations of enterprise knowledge that can be reused across a variety of enterprises. Towards this end, we have been developing the TOVE (TOronto Virtual Enterprise) on-tology Fox and Gr uninger 94]. TOVE provides a rich and precise representation of generic knowledge, such as activities, resources, time, and of more enterprise oriented knowledge such as cost, quality, products, and organization structure. In this paper, we present enterprise modelling as a new area of application for theoretical work in reasoning about action. We give an overview of the problems encountered in enterprise modelling and the requirements that they impose on any theory of action. We outline our approach to these problems using an extension to the situation calculus.